Whiteboard: Logical Proofs last revised by 216.88.158.142 on Aug 17, 2005 3:25 am

If the system is going to be used to collaboratively reason about complex problems, it would seem useful to provide the capability to construct/verify logical proofs. Something like a spreadsheet for proofs.

have to dig up my proof textbook.